6961. Verification, induction, termination analysis
پدیدآورنده : Simon Siegler, Nathan Wasser (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
6962. Verification of Business Rules Programs
پدیدآورنده : / Da Silva-Bruno Berstel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6963. Verification of object-oriented software : the KeY approach
پدیدآورنده : Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
4334
6964. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / Ernie Cohen, Andrey Rybalchenko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6965. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / ller, Andreas PodelskiیRajeev Joshi, Peter M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6966. Verified Software: Theories, Tools and Experiments
پدیدآورنده : / Dimitra Giannakopoulou, Daniel Kroening
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6967. Video Analytics for Audience Measurement
پدیدآورنده : / Cosimo Distante, Sebastiano Battiato, Andrea Cavallaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6968. Video Analytics for Business Intelligence
پدیدآورنده : / Caifeng Shan, Fatih Porikli, Tao Xiang, Shaogang Gong
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6969. Video Processing and Computational Video
پدیدآورنده : / Manor-Daniel Cremers, Marcus Magnor, Martin R. Oswald, Lihi Zelnik
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
6970. Video Search and Mining
پدیدآورنده : / Dan Schonfeld, Caifeng Shan, Dacheng Tao, Liang Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING|ROBOTICS& METHODS|MINING &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
6971. Video processing and computational video :
پدیدآورنده : Daniel Cremers [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision, Congresses,Digital video, Congresses,Video recordings-- Data processing, Congresses
رده :
TK6680
.
5
.
V53
2011
6972. Virtual, Augmented Reality and Serious Games for Healthcare 1
پدیدآورنده : / Minhua Ma, Lakhmi C. Jain, Paul Anderson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, BIOMEDICAL|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK
6973. Virtual, Augmented and Mixed Reality
پدیدآورنده : / Randall Shumaker, Stephanie Lackey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
6974. Virtual, Augmented and Mixed Reality. Applications of Virtual and Augmented Reality
پدیدآورنده : / Randall Shumaker, Stephanie Lackey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
6975. Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments
پدیدآورنده : / Randall Shumaker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6976. Virtual, Augmented and Mixed Reality. Designing and Developing Virtual and Augmented Environments
پدیدآورنده : / Randall Shumaker, Stephanie Lackey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
6977. Virtual Decomposition Control
پدیدآورنده : / Hong Zhu-Wen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ROBOTICS& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
6978. Virtual Realities
پدیدآورنده : / aع‌جGuido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor V
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6979. Virtual and Networked Organizations, Emergent Technologies and Tools
پدیدآورنده : / Cunha-Goran D. Putnik, Maria Manuela Cruz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6980. Virtual worlds : Second International Conference, VW 2000, Paris, France, July 5-7, 2000 : proceedings
پدیدآورنده : Jean-Claude Heudin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Human-computer interaction,Congresses ، Virtual reality,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1834
